headers-po_hi: headers_po_hi.adb
	gnatmake headers_po_hi.adb -gnat05 -g -bargs -g

CLEANFILES = *.o *.ali b~*.ads b~*.adb *~
DISTCLEANFILES = headers_po_hi

EXTRA_DIST = $(srcdir)/build.sh \
		$(srcdir)/reconfig
